Modeling Aspects by Category Theory
نویسنده
چکیده
A framework for formal analysis of aspect-oriented software development (AOSD) is proposed. AOSD is treated as enriching formal models of programs by traceable refinements that produce their systemic interfaces. Category-theoretic construction of architecture school is employed to formalize this approach. Aspect weaving and separation of concerns are defined as universal constructions. Aspect-oriented scenario modeling is discussed as an example.
منابع مشابه
To Cognize Is to Categorize Revisited: Category Theory Is where Mathematics Meets Biology
To cognize is to categorize revisited: Category Theory is where Mathematics meets Biology This paper claims for a shift towards " the formal sciences " in the cognitive sciences. In order to explain the phenomenon of cognition, including aspects such as learning and intelligence, it is necessary to explore the concepts and methodologies offered by the formal sciences. In particular, category th...
متن کاملMulti-objective Modeling Based on Competition Airlines Cooperation by Game Theory and Sustainable Development Approach
In each time period, the demand of passengers for each route are finite and airlines compete for earning more profits. The complex competition among airlines causes problems, such as complicating flight planning and increasing empty seats for some routes. These problems increase air pollution and fuel consumption. To solve these problems, this research studies the cooperation of the airlines wi...
متن کاملModeling structural relationships of mind theory with tendency to virtual networks through mediating of social adjustment in gifted students
Introduction: Cyberspace covers many aspects of human life and this tendency to cyberspace can be influenced by cognitive and emotional dimensions. So the aim of this study was modeling structural relationships of mind theory with tendency to virtual networks through mediating of social adjustment in Gifted students. Methods: The research method was descriptive-correlation and in particular str...
متن کاملA Category Theory Approach to Conceptual Data Modeling
This paper describes a category theory semantics for conceptual data modeling. The conceptual data modeling technique used can be seen as a generalization of most existing conceptual data modeling techniques. It contains features such as specialization, generalization , and power types. The semantics uses only simple category theory constructs such as (co)limits and epi-and monomorphisms. There...
متن کاملSmall and Medium Business Growth in Agricultural Sector (Case Study: Guilan Province)
Agriculture is one of the pillars of economics and its development requires a particular attention to all production factors. This paper aims to provide a systematic and conceptual model that is based on a conceptualization of the field. For this purpose, the theory and methodology based on data derived from field observations and interviews drawn from a systematic conceptual model of key infor...
متن کامل